kw.\*:("Langage fonctionnel")
Results 1 to 25 of 795
Selection :
IFL 2003 : implementation of functional languages (Edinburgh, 8-11 September 2003, revised papers)Trinder, Phil; Pena, Ricardo.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23727-5, VII, 184 p, isbn 3-540-23727-5Conference Proceedings
IFL 2001 : implementation of functional languages (Stockholm, 24-26 September 2001, selected papers)Arts, Thomas; Mohnen, Markus.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43537-9, VI, 185 p, isbn 3-540-43537-9Conference Proceedings
Implementation and application of functional languages (17th International workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005)Butterfield, Andrew; Grelck, Clemens; Huch, Frank et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69174-X, 1Vol, VI-230 p, isbn 3-540-69174-XConference Proceedings
Dynamic cheap eagernessFAXEN, Karl-Filip.Lecture notes in computer science. 2002, pp 105-120, issn 0302-9743, isbn 3-540-43537-9Conference Paper
Two-pass heap profiling : A matter of life and deathRUNCIMAN, C; RÖJEMO, N.Lecture notes in computer science. 1997, pp 222-232, issn 0302-9743, isbn 3-540-63237-9Conference Paper
An implementation of Eden on top of concurrent HaskellBREITINGER, S; KLUSIK, U; LOOGEN, R et al.Lecture notes in computer science. 1997, pp 141-161, issn 0302-9743, isbn 3-540-63237-9Conference Paper
SEXT2 : A logical-functional language with finite and infinite setsGABER, K; YIM, P.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 398-403, isbn 2-9510266-1-7Conference Paper
A simple language is also a functionnal languageWADLER, P.Software, practice & experience. 1985, Vol 15, Num 2, issn 0038-0644, 219Article
Persistent haskellQUINTELA, Juan; SANCHEZ, Juan J.Lecture notes in computer science. 2001, pp 657-667, issn 0302-9743, isbn 3-540-42959-XConference Paper
Proposition d'un schéma d'évaluation parallèle du langage fonctionnel FP sur un réseau de processus = Proposition of a new parallel evaluation scheme for the functional language FP, on a processus networkDevesa, Nathalie; Toursel, Bernard.1990, 341 p.Thesis
IFL 2004 : implementation and application of functional languages (Lübeck, 8-10 September 2004, revised selected papers)Grelck, Clemens; Huch, Frank; Michaelson, Greg J et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-26094-3, X, 225 p, isbn 3-540-26094-3Conference Proceedings
Lazy assertionsCHITIL, Olaf; MCNEILL, Dan; RUNCIMAN, Colin et al.Lecture notes in computer science. 2004, pp 1-19, issn 0302-9743, isbn 3-540-23727-5, 19 p.Conference Paper
The implementation and efficiency of arrays in Clean 1.1VAN GRONINGEN, J. H. G.Lecture notes in computer science. 1997, pp 105-124, issn 0302-9743, isbn 3-540-63237-9Conference Paper
Extension du système T de Gödel dans les domaines finis. Etude de la complexité algorithmique = Extension of Gödel's system T over finite domains. Study of algorithmic complexityMarion, Jean-Yves; Grigorieff, Serge.1992, 143 p.Thesis
A survey of proposed architectures for the execution of functional languagesVEGDAHL, S. R.IEEE transactions on computers. 1984, Vol 33, Num 12, pp 1050-1071, issn 0018-9340Article
IFL '96 : implementation of functional languages (Bad Godesberg, September 16-18, 1996)Kluge, Werner.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63237-9, IX, 284 p, isbn 3-540-63237-9Conference Proceedings
First class file I/OPIL, M.Lecture notes in computer science. 1997, pp 233-246, issn 0302-9743, isbn 3-540-63237-9Conference Paper
The geometry of orthogonal reduction spacesKHASIDASHVILI, Z; GLAUERT, J.Lecture notes in computer science. 1997, pp 649-659, issn 0302-9743, isbn 3-540-63165-8Conference Paper
La supériorité de l'ordre supérieur = The superiority of higher orderFILLIATRE, J.-C.Journées francophones des langages applicatifs. 2002, pp 15-25, isbn 2-7261-1197-1, 11 p.Conference Paper
Call-by-value, call-by-name and the logic of valuesSTÄRK, R. F.Lecture notes in computer science. 1997, pp 431-445, issn 0302-9743, isbn 3-540-63172-0Conference Paper
Executable semantic descriptionsWATT, D. A.Software, practice & experience. 1986, Vol 16, Num 1, pp 13-43, issn 0038-0644Article
Sized types for typing Eden skeletonsPENA, Ricardo; SEGURA, Clara.Lecture notes in computer science. 2002, pp 1-17, issn 0302-9743, isbn 3-540-43537-9Conference Paper
Type-indexed data typesHINZE, Ralf; JEURING, Johan; LÖH, Andres et al.Lecture notes in computer science. 2002, pp 148-174, issn 0302-9743, isbn 3-540-43857-2, 27 p.Conference Paper
IFL 2000 : implementation of functional languages (Aachen, 4-7 September 2000, selected papers)Mohnen, Markus; Koopman, Pieter.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41919-5, VIII, 265 p, isbn 3-540-41919-5Conference Proceedings
Making a packet : Cost-effective communication for a parallel graph reducerLOIDL, H.-W; HAMMOND, K.Lecture notes in computer science. 1997, pp 184-199, issn 0302-9743, isbn 3-540-63237-9Conference Paper